#ifndef __HAVE_PIT_H
#define __HAVE_PIT_H

#include <types.h>

void timer_install();

#endif /* __HAVE_PIT_H */
